discrete math euclidean algorithm